nsgrp\_of\_ideal($a$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$a$